Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be

Source URL: dream.inf.ed.ac.uk

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Propositional calculus
• Logic in computer science
• Logical truth
• Linear temporal logic
• First-order logic
• Well-formed formula
• Interpretation
• Intuitionistic logic

Four Round Secure Computation without Setup Zvika Brakerski1,? and Shai Halevi2,?? and Antigoni Polychroniadou3,? ? ? 1 Weizmann Institute of Science

Source URL: eprint.iacr.org

• Cryptography
• Public-key cryptography
• Secure multi-party computation
• Commitment scheme
• Homomorphic encryption
• Cryptographic protocol
• RSA
• Ciphertext indistinguishability
• Encryption
• Chosen-ciphertext attack
• Block cipher

Abstract The Theory and Practice of Causal Commutative Arrows Hai Liu 2011 Arrows are a popular form of abstract computation. Being more general than

Source URL: thev.net

• Software engineering
• Computing
• Computer programming
• Functional programming
• Evaluation strategy
• Programming paradigms
• Computer architecture
• Functional reactive programming
• Models of computation
• Dataflow
• Arrow
• Reactive programming

MATHEMATICS OF COMPUTATION Volume 81, Number 279, July 2012, Pages 1487–1511 SArticle electronically published on February 17, 2012 PERTURBATION ANALYSIS OF THE QR FACTOR R

Source URL: perso.ens-lyon.fr

• Algebra
• Mathematics
• Linear algebra
• Rank
• QR decomposition
• Matrix
• Determinant

Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †

Source URL: cs.nyu.edu

• Computational complexity theory
• Theory of computation
• IP
• Proof of knowledge
• NP
• Zero-knowledge proof
• Certificate
• Theoretical computer science
• Applied mathematics

Zexe: Enabling Decentralized Private Computation Sean Bowe Alessandro Chiesa Matthew Green

Source URL: eprint.iacr.org

• Cryptocurrencies
• Cryptography
• Computing
• Blockchains
• Information
• Alternative currencies
• Decentralization
• Transaction processing
• Bitcoin
• Ethereum
• Secure multi-party computation
• Smart contract

A Projective Geometry Architecture for Scientific Computation Bharadwaj S . Amrutur Rajeev Joshi Narendra K. Karmarkar

Source URL: rjoshi.org

• Computer architecture
• Parallel computing
• Mathematics
• Algebra
• Projective geometry
• Instruction set architectures
• Vector processor
• Projective space
• ARM architecture
• Module
• Vector space
• MIMD

Session A1: Multi-Party Computation 1 CCS’17, October 30-November 3, 2017, Dallas, TX, USA Global-Scale Secure Multiparty Computation Xiao Wang

Source URL: acmccs.github.io

Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at

Source URL: www.pepper-project.org

• Computational complexity theory
• Logic
• Mathematics
• Randomized algorithms
• Automated theorem proving
• Logic programming
• Probabilistically checkable proof
• IP
• NP
• Substitution
• MAX-3SAT
• operator

Efficient Multi-Party Computation: from Passive to Active Security via Secure SIMD Circuits Daniel Genkin12 , Yuval Ishai1 , and Antigoni Polychroniadou3 1

Source URL: web.eecs.umich.edu

• Cryptographic protocols
• Mathematics
• Secure multi-party computation
• Linear algebra
• Valuation
• Linear combination
• Finite field